Add type inference rules for case-expressions
Add initial evaluation strategy for pattern matching
Add underscore and dot to valid identifier characters