Continue working towards runtime types (now with inheritance!)