unversal serialization

[alex-s168]

depends on #1250

Checklist before requesting a review

• I have performed a self-review of my code
• If it is a new feature, I have added thorough tests.
• I agree to release these changes under the terms of the permissive MIT license (1).

1. https://github.com/andrew-johnson-4/lambda-mountain/blob/main/LICENSE

[andrew-johnson-4]

I am going to create a library for "LIB/minimal.lsts" that the compiler will use. The build times are getting longer and I don't want library development to affect compiler development.

[andrew-johnson-4]

with serial imported I get this error

Function Application Yielded An Irreducible Plurality Of Matches
==
With Arguments Cons<U8+LMStruct+I64+I32+I16+U64+U32+U16+LocalVariable+Sized,Constant+Literal+U8+LMStruct+I64+I32+I16+U64+U32+U16+Sized>
At In File SRC/main.lsts Line 21 Column 4
Matched Candidates:
Arrow<Cons<I64,I64>,U64>+
Arrow<Cons<U64,U64>,U64>+
Arrow<Cons<U8,U8>,U64>

but without serial it compiles. This error message in main.lsts seems to be completely unrelated to the cause of the error.

I need to investigate, this stinks.

[andrew-johnson-4]

ok, found it.

type U64 => Serializable;
type U64 => Deserializable;

messes with the numerical pyramid. I can fix this.

[andrew-johnson-4]

Ok, problem was on my end.

Description:

• error message was bad (not fixed)
• quick-prop inference was not inferring all the things that it should have inferred (fixed)