update typchecker