I'd like to point out that several of the concepts mentioned here are explained on the nLab:
multiplication of distributionsmultiplication of distributions,
while several are missing and the parts on microlocal analysis and hyperfunctionshyperfunctions could use some help .