Regardless of which direction we go, it would be good to have specs for the subclassing case.