Finished type to spec conversion, trivial case.
Finished type to spec conversion, trivial case.

jfranklin9000/urbit,urbit/urbit,urbit/urbit,belisarius222/arvo,urbit/urbit,jfranklin9000/urbit,ngzax/urbit,joemfb/arvo,jfranklin9000/urbit,urbit/urbit,urbit/urbit,ngzax/urbit,joemfb/arvo,jfranklin9000/urbit,jfranklin9000/urbit,ngzax/urbit,urbit/urbit,jfranklin9000/urbit,ngzax/urbit,ngzax/urbit,jfranklin9000/urbit,ngzax/urbit,belisarius222/arvo,urbit/urbit,ngzax/urbit