clean up process.mli
typo + more debugging stuff
minor
FIXED: when erasing a 0, set has_focus to false + minors