add cabal sandox to gitignore
add support for operators, operator type constructor, infix types, operator constructors, infix constructors
add more tests, change tests for operators

Operators are tokenized as '(', *, ')' sequence of tokens,
and it seems to be useful in pattern-matching.