fix undefined in 'PreludeNat.catchUndefined'
fix loop example
fix definedness in built-in functions
fix Loop test