AlgebraicLanguage#eval: Invalid casts between algebraic types and primitive types

[alexanderpann]

This demo shows errors messages because the casts between the algebraic types such as Plus and primitive types such as number are not allowed. How is the relationship between the any time and other types?