Some type matcher updates
added strip predicates func
more updates for const and refs
funny bug
fix for local classes.