While we spent a lot of time on it, I don't think the failures of Fortress were about the time spent on notation.

(Source: I wrote the first parser for Fortress, as well as the first type checker and interpreter.)