The Fizzi Imperative Programming Framework