initial object
	new file:   Initial.agda