Controlled-U Gate Circuit - Quipper Typing CST Test