add debruijn for formula and set
done with alpha equiv. next: moving forward to prototype
the monotype.