model: check useless repeated types in signatures