Introduces membership type framework