Error in inference example in README.md

[olus2000]

From README.md:

When we infer the type for the term quote dup apply we get the following:

quote dup apply : !t0!t1.((t0 t1) -> (t0 (t0 (t1)))

Notice this is exactly the same type as for dup which is what we expect intuitively.

This sounds trivially false. quote dup apply is not equivalent to dup in any concatenative system I'm aware of. If your system actually infers this type for quote dup apply then there must be a bug in it, and if it doesn't then the example is erroneous.