Sketching values, environment and AST