further filling in of details post DeBruijn;  added in another way to handle parameter names in the translator.