most of the way through determinism; I think the case for T_Literals may be non-negligibly problematic