proces ::  MTable  -> BruijnTerm () () -> BruijnTerm () ()
proces m t = if isNull m
             then t
             else unfold peek m t
proces ::  MTable  -> BruijnTerm () () -> BruijnTerm () ()
proces m t = if isNull m
             then t
             else unfold peek m t
proces m t = if isNull m
             then t
             else unfold peek m t