Add the function prototype type, with parsing support and some tests
Rename pattern_kind to symbolic_kind
Add the typevar type
Add typevar_dim type for dimension type variables
Add an ellipsis type
Add an nd::string specialization of nd::array, simplify typevar et al
Bump up the minimum required cmake, ran into trouble on 2.8.9
Add tests of the symbolic type dynamic properties
Merge pull request #42 from mwiebe/funcproto

add funcproto_type, typevar_type to represent symbolic function types for matching