Modules

approximate matching and substitution