[TG-1157] New class for specialised generic class types.#1606

Merged

chrisr-diffblue merged 2 commits intodiffblue:developfrom

NlightNFotis:fotis_tg1157/pretty_printing

Nov 23, 2017

Commits on Nov 22, 2017

Add a class to represent specialised generic classes, and change concretisation functions to use that.
NlightNFotis
committed
Changes in the generics concretisation tests to correspond to the new class signatures.
NlightNFotis
committed