Started adding type checking unit tests.