Implement type spec tests#417

Zacholme7 wants to merge 5 commits intosigp:unstablesigp/anchor:unstablefrom

Zacholme7:impl-type-spec-testsZacholme7/anchor:impl-type-spec-testsCopy head branch name to clipboard