 
 (example
  (parse-term {'x {:arity 0}} 'x)
- => '[:ok (:typetheory.syntax/ref x)])
+ => '[:ok (x)])
 
 (example
  (parse-term {'x {:arity 1}} 'x)

        [:ok (left-binarize ts)]))))

(example
 (parse-term {} '(x y) '#{x y}) => '[:ok (x y)])

(example
 (parse-term {} '(x y z) '#{x y z}) => '[:ok ((x y) z)])

 => '[:ko {:msg "Wrong bindings in lambda form",
           :term (lambda [x] x),
           :from {:msg "Binding must have at least 2 elements", :term [x]}}])

(example
 (parse-term {} '(lambda [x :type] z))
