Adding "cons" builtin, fixing sigma function, adding ">=" function