Guanako: set_reporter: Typechecking enabled.