juliatypes.jl: limit Union to two components

This will be easier to implement at a low level, plus allows using bit
vectors to represent the search state. Never use a data structure where
an integer will do.