There is a reference implementation that matches the Verse Calculus. This is not publicly available, as type checking is still very much in-progress. Even so, the reference implementation is not what UEFN will ever directly use. I can’t give a timeframe for when MaxVerse will be available in UEFN.