Ordered abstractions by type.