Comment by tresilience

Take a look at Gougen's OBJ programming languages.