Some minor improvements (esp. documentation), added new EQ oracle