hapi and golden hapi ngo abavura indwara zinyuranye zirimo inzoka zo mu nda later a battery factory was opened a typing context assigns a type to each free variable