Spec, a more precise type for Hawk's arguments

Not used yet.
exclusive flags