Projections are now strings; added some experimental extensions
Internal support for equivalence types, w/o parser support