Fix how polydots is typechecked.