Write attributes and add convenient combinators
Support writing recursive functions
Preliminary printing exceptions