Added meta printing.
Fixed meta identifier printing.
Added infix operator printing.
Added meta interpretation (for the evaluation translation).
Handle properly the recursivity.
Added the typing translation, remove state/jump and add a limited support for macros.