make val_defs and func_devs unassignable
Merge branch 'statements'