Fix module name in signature
Add TypeInferer module (implementing)

add to provide fresh variable-name monad 'Flesh.hs'