A cubefree-preserving morphism from 5 to 2?
An $\infty$ to 2 (hence 5 to 2) cube-free morphism was constructed by Bean-Ehrenfeucht-McNulty. The fact that your morphism is cube-free follows from their theorem. See Theorem 2.4.1 of my book "Combinatorial Algebra:syntax and semantics".