WyIL: updated semantic type to use new rewriter