Simpler reporting with auto-format of types and expressions