pull world parameters out of sets
remove mlift combinators (units suffice)

* adjust comments and organization
add reset combinator