wood and henry mcclintick a typing context assigns a type to each free variable umaze imyaka ushaka guhungabanya umutekano w'u rwanda this treaty established maritime law among the major powers of europe