chg: require a type for all procedure arguments, warn otherwise