The A+ programming language from Morgan Stanley