Removed duplicate AST nodes and handling of them
Reverted from behavioral clafer grammar to regular one and updated ErrM.hs to support positional error