Fixes issues with internal states.
Adds missing injectivity check to methods for extension of partial embeddings.
Fixes scalar product in Positions.
Cosmetics
Updates models.