Separate service checker and type checker