Some comments split out from the RecType changes