2. The software development tool of claim 1 wherein the programming language further comprises: primitive types at least some of which model semantics of a natural language.
2. The software development tool of claim 1 wherein the programming language further comprises: primitive types at least some of which model semantics of a natural language. 4. The software development tool of claim 2 wherein the semantic model is described using the set of programming constructs and primitive types.