support for mutable specifications

Fixes #3