made some changes, doesnt work
fixed higher order unification to be deterministic
spacing
updated .cabal