define Type {
  refines Formatted
  defines LessThan<Type>
}