changing the layout of coqstd

- [apps] in Term_match.