Mean value extension theorems and microlocal analysis