Functional Properties of Hörmander’s Space of Distributions Having a Specified Wavefront Set