ctsp model typing paper