tweak TODO
add a few tests for promoted fields (not passing yet)
give anon fields a type (fixes crashes on field accesses)