First pass on type, provider

Incomplete. Type works, provider stubs out an instances() method.
Ensure property minimally functional

The module is now able to ensure present or absent given a database and
a service.