add some non-inlineable type constraints to match_on_type tests
check that Type::Library-based type libraries can extend MouseX::Types libraries