remove composable extension that isn't needed.
remove superfluous specs.
remove specs that are covered by "proofs"
move high level specs to maybe spec.