renamed some interface functions on substitution, also added equality tester for name tables