hhalvors/theories

Goal: Develop an agda library for representing (first-order) theories and the relations between them.

TO DO:

1. Define Morita extension of a theory.
2. Give an axiomatization of special relativity.