Continuing work on type checking class declarations