implemented abstract map, and core nametab functionality
abstractified types amap and amapgraph
added stub other name map structures
updated fields to represent new conventions
added stub tests
wrote tests for NameTable
wrote name relation signature and started implementing name injection
finished implementing name injection
wrote some tests for inverse injection
implemented function. still untested
added test checking codomain size
added basic function tests
wrote test for renaming a function with injections
updated naming conventions with dom_size and cod_size
added tests for table renaming
changed type alias to abstract type with comment
moved common stuff to TestMapsUtil. wrote tests for relations and fixed bug in graph evaluation
added map_entry
added name substitution funct
i caved. sharing substructures are in