TR: move helper syntax classes to helper file
Add TR case-lambda with optional type annotations
Make TR's `for/hash` form more flexible