Make let a term
Require at least one case in match expressions
Add readme