Merge pull request typelift#37 from CodaFi/sunday-lazy-sunday

Make Implication Lazy

Merge pull request typelift#36 from CodaFi/fun-fun-fun

... Now That Daddy Took the T-Bird Away

Merge pull request typelift#32 from CodaFi/do-a-barrel-unroll

Unroll Shrinking Loop

Fix string shrinker

Merge pull request typelift#17 from CodaFi/uniform-foundations

Uniform Foundations

Merge pull request typelift#15 from CodaFi/assertiveness-training

Assertive Properties

Merge pull request typelift#14 from CodaFi/swift-1-dot-2

Swift 1 dot 2

Merge pull request typelift#10 from typelift/modifiers

Modifiers