code: public boolean isProxyOrSubTypeOf(LightweightTypeReference candidate, Class<?> jvmSuperType,
  			Class<? extends XtendTypeDeclaration> sarlSuperType) {
  		if (!candidate.isResolved()) {
  			return true;
  		}
  		return isSubTypeOf(candidate, jvmSuperType, sarlSuperType);
  	}
docs: Replies if the type candidate is a proxy (unresolved type) or a subtype of the given super type.
  
  @param candidate the type to test.
  @param jvmSuperType the expected JVM super-type.
  @param sarlSuperType the expected SARL super-type.
  @return <code>true</code> if the candidate is a sub-type of the super-type.