Don't allow editing property name

It currently messes up stored formulae in theorems.