Change VariableOrdering so that indexing happens using integers rather than strings.

[luisenp]

🚀 Feature

Current variable indexing uses string, which impacts efficiency.

Motivation

Switching to integers under the hood may result in substantial speed up.