Quantum Teleportation Circuit - Quipper Typing CST Test