Thank you for sending me this very interesting link, however Fortress is strongly focussed on scientific computing.
In contrast in my proposition I don't think only at using math symbols for formulas, although the examples in the presentation are very attractive.
Moreover I think what it could happen if we abandon plain text source coding for everyday programming: