make defn of bc_eval in terms of OWHILE explicit

will probably need this to connect bc_eval to bc_next^*