Operator calculus for $p$-adic valued symbols and quantization