Types are very important for writing large scale software. Proceeds using `int` for most of the things in the program