[ new ] Hereditary Subst. for STLC, formalized

2010 Keller and Altenkirch paper