Basic binary operation
Add Unknown
Simplify unknown
Change LiteralNodes to use primitive types