Adopting the Syn based design
Updating the conversion
Removing GUD to facilitate adding type annotations
Support for type annotations, and making power example run