Implement 'property decl from expr', aka '::='. Closes #722