Fix subtyping for PolyDots

This a subset of all of my polydot fixes, but it only includes ones that should not be buggy/reveal more existing bugs.