Support mutable record fields
Support names on Root identifiers
Include source information in unit