Reimplement Transpose

[JCumin]

Currently, \ - transpose uses the transpose/2 predicate from library(clpfd).

This predicate doesn't work when parts of the first argument are uninstantiated, or on strings, or on numbers, etc.