I want to create type system with ratel, but the following situation occurs。Type system Test can't add predicate with ":". 