Changed some imports and some test code.
Updated L.C.I to use new evaluate/check/infer.
Tiny interactive executable.
Example coatl code.
'cabal init'