Update several application type error messages
Fix doc contract for `syntax-local-phase-level`

The description does not mention the function ever returning #f
and if you look at the implementation in the C code, it always
returns the result of `scheme_make_integer`.

Also add an example for the entry.