fixing a debruijn index bug in reification
removing dead import.