ADD: first update/updateTypevar implementation