Added term definition file (work in prog)

Added a file that acts as a running log, as more research/reading is done on strand spaces, more concepts/ideas are embedded into this file so as to be translated into Coq more easily.