deftype and update! forms