added sized() and convenience tuple and list arbitrary forms
added length bounds to List, fixed bug in shrink_int
added readme pointing at travis and docs