Preliminary implementation of object attributes.

Also disables checking of reading from unassigned variables as a workaround
due to the refactoring of the assignment grammar.