Quantum Teleportation with Classical Communication - Quipper Typing CST Test