Core semantics

[dwightguth]

This PR adds the core elements of the semantics needed to begin the feature-implementation loop.

It includes:

• Cleanup to the Makefile
• A basic configuration declaration and some basic internal sorts
• Code to handle processing of interface definitions
• A simple, as-yet-untested script for running the semantics
• Some minor grammar tweaks
• Adding the entire forge test suite into the example file for Uniswap so it can be more efficiently run and tested.

My next task is going to be to populate the backlog with a prioritized list of tasks for filling out the features needed to run this test suite.

[mariaKt]

Looks good.

For the test harness, it looks good to me, but I will need to get more comfortable with Solidity and the specific contracts to fully understand.