Persistent object/array shapes

[getify]

• Object literals' type assignments to properties
• Persistent object type signatures and array type signatures
• Destructuring assignments need to be shape checked
• Enforce param destructuring shape for argument in CallExpression
• Array signatures need to include support for array-of-type (multidimensional and tuple) #39

[getify]

Starting on this.