made extension subtype public