core.typed: Java doesn't allow stupid casts, it's irrelevant anyway.

Reword the motivation for adding types to Clojure, after ditching them
from Java.