datatype ifex = CIF bool | VIF nat | IF ifex ifex ifex
