start in on fixpoint redesign