Boolean gen types