Text this: Constraint solving in non-permutative nominal abstract syntax