Complete set of expressions (constant, variable, lambda, apply)