metamodel: added resolved superclass/interfaces to ClassOrInterfaceType #226

as opposed to the unresolved (including free TypeParameter) in ClassOrInterface
metamodel: support intersection/union types #226
metamodel: added type to Function/Value #226
metamodel: support looking up TP in methods #226
metamodel: TypeParameterType: fixed initialisation issue by going lazy #226