Add builtin Sized kind and a few basic tests

r? @nikomatsakis @pcwalton