class Object

  Type get_type()
    return self.type
  end

  Class get_class()
    Type l = self.type
    return l.object_class
  end

  Word get_class_name()
    Type l = self.type
    Class c = l.object_class
    return c.name
  end
end