error reporting: missing procedures are called functions

[chdoc]

module type T = {}.
module A (O : T) = { proc p() = { T.f(); }}.

yields unknown function: T.f, should be unknown procedure: T.f

CC: @fdupress