Describir: Elementary geometry from an advanced standpoint