Produce byte code to compare two operands at top of stack.
Called recursively from std_is_equal for user expanded types
if all equal, fall through after taking off two top words on stack
if any not equal, take two top words off stack and jump to std_is_equal last branch point
lt is user expanded