release new version

Merge branch 'master' into rheidner/syntax

Merge branch 'master' into forall-change

update scheme

Merge branch 'master' of https://github.com/uwu-tech/kind

rebuild scheme

Merge branch 'master' of github.com:uwu-tech/kind

include version number