Forbid type impls on typedefs

r? @brson