Add type-checking support for default methods as per Featherweight-Defender document Reviewed-by: jjg, dlsmith
Types.implementation forces unnecessary symbol completion on superinterfaces of a given type Reviewed-by: jjg