rdl 1.0.0.rc3

RDL add support for adding contracts (pre- and postconditions) to methods. Preconditions are checked at run time when the method is called, and postconditions are checked at run time when the method returns. RDL also includes extensive support for type contracts, which check the types of arguments and returns when the method is called and when it returns, respectively.