Fundamentals of algebraic microlocal analysis. (2020)