Principal Typings in a Restricted Intersection Type System for Beta Normal Forms with De Bruijn Indices