type Money = String {currency : "USD"}
---
{
  a: in0 == {"str": "Leandro", "age": 26,"male": true},
  b: in0.str == "Leandro",
  c: in0.age == 26,
  d: in0.male == true,
  e: in0 == in0,
  f: in0.str == in0.str,
  g: "123" as Money == "123"
}