idris RPN removed show, simplifed op to bin-fn's, added uni-fn's, added consts;