Fix subclass assertions and add subclass examples