typechecker: clearer error messages for __TRAIT__ misuse

Reviewed By: @elgenie

Differential Revision: D1533111