Test: type Expr = Expression def