diagnostic, fixer and test for making variables constants whenever it's ... (closes #79)

...possible