Identifiers

The types of identifiers were hardwired:
type Id = String

newtype Module = Module String

data HsName = Qual Module Id | UnQual Id

data HsIdent = HsVar HsName | HsCon HsName

This has been changed now...