Solved the specialized method definition case with a new version of
MemberDefiniton that works without user upcasts.