Added tests for matching and enumeration of concrete lists
Added another phrase.
Converted all GitHub issues for type checker into tests

This gives a good way to do regression testing. Current stats:
- 48 tests added.
- 6 fail (still open issues).