Add AllTypes specialisation of TypeSet