updated fixedtypes lemmas
	modified:   Utilities.agda