experimental changes. getting close. added ivar spec for some theoretical underpinnings of howe ivars interface with runtime