Changes to class extends in type checker