ReservedCallID can now be used in expressions
Added typechecking for ReservedCallID