updated prob integration to support:

b->vdm strings
vdm->b
  named inv types
  record types with inv