slight fix in some comments
modify naming convension for interfaces of pattern matching environment