Update submodules. Add a test case for type predicates.