some minor fixes, added some comments that we have to deal with field access on anons in general