concrete syntax: add `loop` to language.
concrete syntax: remove haskell types.
wibble: forgotten imports.
add ivory-liquid for experimenting with LiquidHaskell + Ivory