[TASK] types for class instances are now resolved recursively

E.g. if a parameter expects an AbstractConnector, the possible
types are all children of AbstractConnector. This also includes
children of children and so on.