        []
        $ \s _ -> Right $ Variable s
termInfo "bin_op" = TermInfo
        ["lefthand expr of bin op", "bin op", "righthand expr of bin op"]
        $ \_ (Right left:Left operator:Right right:_) -> Right $ BinOp operator left right
termInfo "number" = TermInfo
        []
        $ \s _ -> Right . Number $ read s
termInfo "boolean" = TermInfo