getName has been finished and tested. Currently works, however there are limitations to Coq strings that must be investigated further