What are types (in type systems)? | Heykuki News