This variable "lexp AttributeMap.t option" is our attribute table. It associates a variable (index, name) to a lexp. This special builtin is returned when "new-attribute" is called.
So IIUC this is really not a "builtin operation/type/value" but rather an immediate value (like ints, floats, strings).
Stefan