allow unification of two different numeric sorts
Merge pull request #11 from nikivazou/numeric

allow unification of two different numeric sorts. 
RJ: Nice, thanks!
add package constraints to match liquidhaskell
Merge pull request #12 from gridaphobe/master

Add package constraints to match liquidhaskell
misc tweaks
misc tweaks
asd
Merged Types.hs
Reset .cabal