simplify type indexing of expression language