Sure, but the general idea that you should disallow undefined operations are a core application of type systems. You don't need too advanced of a type system t

Sure, but the general idea that you should disallow undefined operations are a core application of type systems. You don't need too advanced of a type system to implement what you're talking about. With the caveat that doing it in Java would make the code tedious to write ;-).