Typecheck for ShapeReference parameter values

Fixes #13