This is interesting. The idea of having a standard library of types related to what are effectively program keywords... could be really good. Or hideous like g

This is interesting. The idea of having a standard library of types related to what are effectively program keywords... could be really good. Or hideous like global vars. I wonder if any language has tried this?