Document datatype and/of directive priorities

This fixes #2644.