Add basic pattern synonyms for common types.

The code-base now depends on ghc-7.8.3, for its PatternSynonyms
extension.
Migrate genCType to Representations.
Add Byte pattern synonym to Representation.
Migrate `unarySymbol' to Rep.
Migrate `binarySymbol' to Rep.
Migrate `constant' to Rep.
Migrate `inline' type-signature to Rep.

And so it begins...
Migrate `inline/empty' to Rep.
Migrate `inline/constant' to Rep.
Add preliminary pattern for Collection types.

The first parameter should be switched to an `[(ID, Type)]' list, for
easy interconversion.
Allow Initialization Reps to take multiple parameters.
Fix `inline/empty' Rep returns.
Migrate `reify' type-signature to Rep.
Migrate `inline/variable' dereferencing rules to Rep.
Migrate `inline/indirect|some' to Rep.
Migrate `inline/unit' to Rep.
Migrate `inline/tuple' to Rep.
Migrate `inline/record' to Rep.
Migrate `inline/unary' to Rep.
Migrate `inline/sequence' to Rep.