[Relay] Move prelude to text format (#3939)
* Fix parser
* Doc fix
* Add module utility functions necessary for prelude
* Implement prelude in text format
* Remove programmatically constructed prelude defs
* Fix 0-arity type conses in pretty printer and test
* Make prelude loading backwards-compatible
* Fix patterns
* Improve some prelude defs
* Fix `ImportFromStd`
It needs to also follow the "add unchecked, add checked" pattern
* Lint roller
* Woops
* Address feedback
* Fix `test_list_constructor` VM test
* Fix `test_adt.py` failures
15 files changed: