Support assignability for struct fields

On my branch for fn inference, assignability becomes important to handle bare fn to closure conversion.  To support things like the visitor pattern, then, it is necessary to support assignability on struct fields.  Besides, we ought to anyhow.