This represents the final level of the hierarchy, with the strongest binding.
Given some atoms, produces the base of the precedence hierarchy
The base type of the hierarchy
The atoms at the bottom of the precedence table