Improved algorithm for or_pike_types() et al. Added low-level function push_{,reverse_}joiner_type(). T_OR-nodes should now never have a T_OR-node in the CAR. make_type() now uses the type stack to build its types. Rev: src/pike_types.c:1.288