Lhs checking and duplicate constructor checking
Generate sorts and arities in Stratego file
Cleanup