Matcher traits respect the typelist. Removes some unnecessary boost dependency.
Removed some debug statements.