Warn on redundant constT usage
Hoppy should help prevent issues like #37 (closed). It's always redundant to declare a parameter as constT (<actual parameter type>), and Hoppy should at least detect and warn on cases like (constT . [refT|ptrT] . objT), if not all parameters with constT on the outside.