gall: light type refactoring
gall: light type refactoring

Mostly modernises syntax.  Also adds a couple of useful types ('whey'
and 'coke') that were previously defined inline.

ngzax/urbit,urbit/urbit,urbit/urbit,ngzax/urbit,ngzax/urbit,jfranklin9000/urbit,jfranklin9000/urbit,urbit/urbit,jfranklin9000/urbit,ngzax/urbit,jfranklin9000/urbit,ngzax/urbit,jfranklin9000/urbit,jfranklin9000/urbit,urbit/urbit,urbit/urbit,jfranklin9000/urbit,urbit/urbit,ngzax/urbit,urbit/urbit,ngzax/urbit