Changed visibility of internal classes.
Added TypeChecker class for simple interface.