Add type-checking support for default methods as per Featherweight-Defender document Reviewed-by: jjg, dlsmith
Rules for method clash use notion of subsignature, which is sometimes too strict and incompatible with JDK 6 Reviewed-by: jjg