What kind of data is your type? Do you prefer ints, or doubles, or booleans? You need those data types to start making variables. And yes, there is a notional machine example.
00:00 - Intro
00:14 - Notional Machine
10:43 - Data Types
15:26 - Variables