first hopu
added spine to AST
added hoses bitches
removed fibs
attempts at solving this
added tests
experimenting with removing Tipe and doing only type application again
more unifier
somebody please find me someone to unify
environmentalisms
added another case to the unifier.
fixed some major bugs
fixed a bug with mgus and prettefied the output
added implied argument lambdas and foralls.  I don't yet know how to implement it
added Implicits
omg it works.  proof search can be a little long on fails
added functor
updated readme
fixed readme
added the .cabal