Fix broken tests
Ignore unused imports in tests. Fix #47
Test tuple patterns in let statements. Fixes #20
Update hand written definition in Eq and Bool
Defunctionalize type synonyms. Fixes #48.
First attempt at list monad