For statically-typed languages, yes, but many dynamically-typed languages allow class definition and inheritance at run-time. Read the classes and instances chapter to see that this interpreter indeed does.