Sets, types and type checking

My currently understanding of types