Add typing step

[HoloTheDrunk]

There are only 3 types in aysìnvi as of writing:

• number: only whole numbers
• string: strings of characters
• array: contiguous, fixed-size array of a certain type

Unlike binding, typing happens in a single recursive step.