Type macros

[Rendered view](https://github.com/Zoxc/rfcs/blob/type-macros/active/0000-type-macros.md)