done substitution with debruijn
updated definition of context to work with DeBruijn