An Alloy specification of X-Bar Theory