A library providing a (finite) ranked alphabet.