remove useless constraints

[marcosh]

remove type constraints which are not used and add a compiler check for unused constraints