Working towards constraint exception type hierarchy.