An experimental JavaScript type system.