Include error types in the global scope by default.
Adding a skeleton `try` implementation.

This evaluates the body and the expected exception type, but does not
actually catch exceptions yet.