Add arg coi in emit_enter, emit_return
Add type display
Put type inf == and !=