Quantum vertex $F((t))$-algebras and their modules