Procedures [TS]: Allow omitting the return type #3776

Currently to return nothing, one has to specify t.unit() as the return type for a procedure, but then Typescript requires that you return {} from the function. We should have an overload that omits the return type and then types the function as () => void.