[tel]

    When a suitably rich set of jets is available, we expect the bulk of the
    computation specified by a Simplicity program to be made up of these jets,
    with only a few combinators used to combine the various jets. This should
    bring the computational requirements needed for Simplicity programs in line
    with existing blockchain languages. In light of this, one could consider Simplicity
    to be a family of languages, where each language is defined by a set of jets that
    provide computational elements tailored for its particular application.