WIP: seems to work for measures.

need to address other annots and then major refactor
Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell into resolve
add missing files
some Text modules are passing again
expand RTAliases *before* name-resolution
resolution for types,invariants,data,qualifiers.
Merge branch 'master' of git://github.com/ucsd-progsys/liquidhaskell into origin-resolve

Conflicts:
	Language/Haskell/Liquid/GhcInterface.hs
use a typeclass
unqualifying names
unqualifying names
no joinIds in makeLazies
weird issue with tyvar renaming gone wrong, see tests/pos/ResolvePred.hs
resolve dataCons inside qualifier expressions
use original vars when possible
WHY ARE THERE DIFFERENT `Name`s FOR THE SAME VAR?!
surprisingly, most regrtests are passing
operators don't need to be fully qualified anymore :)
resolve Qualifier sorts inside Bare
argh, handle fixpoint List
all regrtests are passing, and some of text too!