Make :-less versions of `let` variants in TR
Add a :-less `do` for TR
Add :-less versions of `struct` macros
Support polymorphism in both TR let and lambda
Enable mixed type annotations for `define`