specify type of unsupported type
pass type with arguments to satisfied type
specify type of unknown type argument
recursively resolve type arguments of satisfied types
ceylon/ceylon-js#196
temp typeArguments
update certain obsolete calls
OpenTypeParam.equals ceylon/ceylon-js#196