Services typing

A fix to the well known problem of the untyped return of services when created separately from the registration.