concrete syntax: add `loop` to language.
concrete syntax: remove haskell types.
wibble: forgotten imports.