Detect infix constructors for GADTs
Lint fix
Change con_name to con_names in ConDecl, and tidy up
Lint fixes