Changes to be more like lamdu ASTs