[Grace-core] Dart is our

[James Noble]

Gilad's new Dart language is out: http://www.dartlang.org

I've added Background Papers/dartLangSpec.pdf to the repository

Dart is a class-based, single-inheritance, pure object-oriented
programming lan- guage. Dart is optionally typed (13) and
supports reified generics and interfaces. Dart programs may be
statically checked. The static checker will report some
violations of the type rules, but such violations do not abort
compilation or preclude execution. Dart programs may be executed
in one of two modes: production mode or checked mode. In
production mode, static type annotations (13.1) have absolutely
no effect on execution. In checked mode, assignments are
dynamically checked, and certain violations of the type system
raise exceptions at run time.