Avoid bottomify-ing higher order functions

WIP

WIP reworking value type

Finish hardest interp proof.  Deduplicate interp_ident / abstract_interp_ident overlapped state

Make compilation go through

Author: JasonGross