Updating: fixing hisexp_subst.
Updating: tidying up.
Updating: compiling sizeof.
Updating: tuning prelude/unsafe.