Miscellaneous elaborations on Urbit