Experiment to reify symbols/nats into constraints by matching them within a known set. - View it on GitHub