Cleanup precise typechecking
Cleaned up script from meeting