added figures for typechecking