Binary operations (^, &), comparison operations, boolean logic
operations, recursive function type.
merge