Suggestion to improve proc type infer, and some complains

[Araq]

But to be fair, if a recompile takes 17 seconds, you really do have a problem. 
You copy Karax's DSL which keeps compile-times low and catches typos in the 
HTML tags at compile-time too. Your `el "foobar"` is not good enough, sorry.