add methods corresponding to vdm operators as follows
mod
forall (length of bindlist = 1)