The type/sort of some builtin type/sort is undefined about hyperon-experimental HOT 2 OPEN

Well, I thought about straightforward way of implementing it for now as it is an issue for some of users. And reimplement it using more sophisticated grounded atom related technique in future.

from hyperon-experimental.

It might not be too simple to fit "good first issue" tag, actually. Boo, String, etc. are pure symbols. They are not grounded atoms. Thus, their types should be stored in some space as expressions, e.g. (: Number Type) unless we decide to attach types to all atoms as in DAS. We have a space for stdlib MeTTa code, but writing such expressions manually seems not elegant. Someone needs to come up with a better way to adding type information for types of grounded atoms. Possibly, we need to have a more formalized procedure of defining types of grounded atoms, which can also be necessary to introduce custom indexing/retrieval functionality for them. It looks a little bit premature to implement a specific way of injecting (: Number Type), because the whole infrastructure for types of grounded atoms may require some additional thoughts.

from hyperon-experimental.