Added tests for type dec