They are working on a type system.