Experimental syntax, of a mathematical type, geared to referential axioms, may help further along these lines - or others not imagined as yet.