Added dexy documentation