Cpp client type checking

[tvanderbruggen]

Check against drivers definitions for call and recv types and raise a compile-time error if necessary.