wish: partially applied macro should give an error upfront

[gares]

if we expand it to a lambda.... then the error message from the type checker is very obscure.