makeSugarPanes: Run the panes MkProperty once
holeMUnwrap: Use greenness of hole to allow/disallow unwrap rather than separately reinferring everything after unwrap