continue work on operator sorting and type matching