force typing via notation in whiskering