Required return from construct_from_reference method, even if it's not filled in yet.
Note that do not do correct type checking on rpc calls.  Compiler requires inferring type from the type of what an rpc is assigned to.
Added test harness for service references.