Makes subtyping on sorts a bit cleaner.