first cut at inductive const prop
add modes in fix iter to distinguish cases
notes and some minor mods