Step 2: Defining your first component

Now that we have included it, we can start writing Modulo definitions and use the framework in general. We define our first component by creating a Modulo definition, and putting inside of it a