Parse and typecheck (not yet kind-check) bounds on trait types.

r? @nikomatsakis @pcwalton