LanguageBasic TypesLearn Nat, Bool, and Bit. Use Nat for compile-time sizes, Bool for propositions, and Bit for hardware logic.Composite TypesLearn enum, bundle, and array composite types, plus aggregate literals, field access, and layout basics.