Rudi C comments on Requesting feedback/​advice: what Type Theory to study for AI safety?