Add tests for least-supertype and greatest-subtype.