Put link URLs at the end of the document
Further motivation and extend summary

Mentions the relation to a dependent type system.
Note small vector types as usage examples
Elaborate on type inference somewhat more