Implementing the syntax ILM from Kirby's 2000 paper