Context extraction
More substitutions and pure bind cleaning