add typecheck slides