Changed AST for converting language to first-order rather than higher-order.