Added type signatures to all public methods in DSL
Updated DSL test suite