fixing bug with enum abstractions, adding a function for checking for a file's existence, wrote an example enum script