Moved role consistency checking to validity check; cleaned up parser errors
Checkpoint. TH support for roles / fixing up GHC sources to deal with roles