added ghc flag -W
labeled binaryOperators properly
proper error message for strict parsers
syntax elements for types and expressions