An input program is described which would allow the user to define the meaning of the statements he uses. These statements are not restricted to procedural types as is the case with some existing systems for compiling macros from micros, but may also be of a declarative nature. This paper was presented at the Harrogate Conference of The British Computer Society on 5 July 1960.