Add ArrayExpr, SelectExpr and StoreExpr API
Create reusable Value<T> base implementation
Create reusable Var<T> base implementation
Add recursive reflection type for pointers
Add size_t reflection type
Add basic support for symbolic memory through array logic