Support assertions about the type of expressions in the conformance tests

[netdpb]

Examples:

// test:expression-type:Foo!:foo(bar())
// test:expression-type:Bar?:bar()
return foo(bar());