distribInR supports virtual forking (useful for typechecking)