Support try-catch-finally

[austinzheng]

The attempt special form should be replaced by a proper try-catch-finally, with reified exceptions holding EvalErrors and the ability to catch specific error types. This is necessary for building binding or any of the concurrent var-related features.