Added comments to type checker.