uncommented a bit more of consvisitor; planning stages for generalized
fold/unfold using sloc environments