Add expression type checking.
Make ErrorHandler into a Singleton.