checklist               Is a formula a check formula?
components              Decompose a firmly applied function
firmly                  Apply a function firmly
input-validators        Generate input-validation checks
misc-checkers           Miscellaneous checkers
scalar-checkers         Scalar checkers
type-checkers           Type checkers
validate                Validate objects
