More conservative with re-* function types
Add kw parse/unparse syntax. Start on kw fn cases for check.