* Drop the Foldable instance for Expression
* Make Expr a concrete type
* Add GUID to Id (so _every_ identifier now has a unique assosiated id, created by the parser)