builtin lists and data experiment

[jmchapman]

Currently plutus-metatheory has open type constants that can depend on variables and support for list a and pair a b where a and b are variables. plutus-core has higher order type constants list and pair and a special type constant type application operator. This PR is an experiment in extending the open type constants to also be higher order.

Pre-submit checklist:

• Branch
  • [ ] Tests are provided (if possible)
  • [ ] Commit sequence broadly makes sense
  • [ ] Key commits have useful messages
  • [ ] Relevant tickets are mentioned in commit messages
  • [ ] Formatting, materialized Nix files, PNG optimization, etc. are updated
• PR
  • [ ] Self-reviewed the diff
  • [ ] Useful pull request description
  • [ ] Reviewer requested

[jmchapman]

I think I confused github.

[jmchapman]

@mjaskelioff is it time to delete this now?

[mjaskelioff]

Yes, lists and pairs are done.