Jarvis Carroll
fc0a1fbe27
This one was much simpler to do than hz_aaci, since it doesn't introduce any new types. I could have made note of some of the conventions, where a type can be represented in multiple ways in Sophia syntax, or where these functions are actually more lenient than the compiler, but it isn't as easy to break those notes up from the basic function usage, like it was in hz_aaci, where those aforementioned new types are used.