Add comments

Justify "assert false"
Catch UnboundTypeVariable exception

Remove unused argument
Fixed a bug. Found another (microscopic) one
Merge branch 'master' of https://github.com/minmell/minihaskell
Merge branch 'master' of https://github.com/minmell/minihaskell