Pucong updated one testing rule for type checking function. Need to find a way to check the typecheck() function using pre-commit.