Mutability argument being dropped.
Including a helpful printf
Merge branch 'ssajoin' into multi-ifaces
Merge branch 'master' into multi-ifaces
Wrote out some Class Hierarchy API
Merge branch 'master' into multi-ifaces

Conflicts:
	src/Language/Nano/Annots.hs
	src/Language/Nano/Liquid/Liquid.hs
	src/Language/Nano/Names.hs
	src/Language/Nano/Program.hs
	src/Language/Nano/Typecheck/Lookup.hs
	src/Language/Nano/Typecheck/Parse.hs
	src/Language/Nano/Typecheck/Resolve.hs
	src/Language/Nano/Typecheck/Subst.hs
	src/Language/Nano/Typecheck/Types.hs
	src/Language/Nano/Types.hs
	src/Language/Nano/Visitor.hs
Fixes in CHA
Parsing fix
Allowing modules to be defined in separate files.
cleanup
Merge pull request #73 from UCSD-PL/multi-ifaces

Multiple inheritance