- rule call and rule expansion now return the same type
- all the typing is now correctly done (no more useless any)
- *,? and + "operator" are now deprecated since quasiquote (or scala?) don't allow type application on postfix operators (which prevents me from giving the right type to the macro expansion)