Create typeclass for Operations

[vrom911]

And improve this partial types

    | BinOper   {bop :: BinOp,   l, r :: Expression}
    | CompOper  {cop :: CompOp,  l, r :: Expression}
    | LogicOper {lop :: LogicOp, l, r :: Expression}