Implementing Set-Theoretic Types.