* Skeleton for shape specialization

* Change signature of as_constants to return the vector, with zero elements in case of failure

* Add as_constants implementation for Concat

* Some comments

* Add check for element types of replacements; fix comment typo

* Address PR feedback, and add some comments

* An extra check, and a comment, ahead of the memcpy

* Minor comment wording fix