typo.

language.tex

@@ -214,7 +214,7 @@ $(\Int\to t)\setminus(\Int\to\neg\Bool)$ ). But the sole rule \Rule{Abs+}
 above does not allow us to deduce  negations of
 arrows for abstractions: the rule \Rule{Abs-} makes this possible. As an aside, note that this kind
 of deduction was already present in the system by~\citet{Frisch2008}
-though it that system this presence was motivated by the semantics of types rather than, as in our case,
+though in that system this presence was motivated by the semantics of types rather than, as in our case,
 by the soundness of the type system.
 
 Rules \Rule{Abs+} and \Rule{Abs-} are not enough to deduce for