STLC with De Bruijn Level index-(alternative type interpretation)