Microlocal Elliptic Regularity for Pseudodifferential Operators