Finished type checking