First test on typechecker; type checking empty class decl.