update for the type system and report