id x = x const x y = x const(3,5) * id(7) - const(10,2) const(True,False) const(False,37)