Removed Vex dependency (for real now)