Qualify records in CompileState
Support qualified imports
Add test cases to .cabal