injectivity declaration -> injectivity annotation

Fixes #92