make ResolvedFunctionType class abstract
fix the function type of super expression to MemberFunctionType