Get some basic things working with 0.8

Adjust for new Haskell API. Revealed that the import semantics and ambiguity finder don't play super nicely together, need to fix!