Atypecase is anaphoric typecase. It is just like typecase except that it binds the thing being tested to it.