removed several superfluous combinators
added askVarState