Split type binding.
Binding now correctly just applies to methods, while packages now account for the semantics of other elements that could previously be bound to types.