Plugin type aliases

Type-level contracts and preset/rule aliases exposed from the public plugin module.