Add functions coll/sequence! and core/verify