Reinstate stack underflow check.
Add implicit prelude back to interactive mode.