Semiclassical Analysis I: Symbols, Quantization, and Microlocal Foundations