How to compose (ir) language... relational programming... core alphabet of relations...