Integrate predictable type-aware macros?

[wilbowma]

Predictable Macros for Hindley-Milner (Extended Abstract) TyDe 2020 github.com/gelisam/klister

This would involve non-trivial extensions to the underlying macro system to do properly, but it looks like there are some good design ideas we could steal.