initial very incomplete work on Ordinals and Cardinals