Comment a bit more on types, and fix comments in OCM programs.