Documentation

Cedar.Thm.WellTyped