class number_coord
{
    <: simple_coord;
    node(Root).bot = node(Foot).top;
    node(Root).cat = value(number);
}