tests for type constraints
prepare for release
Added tag 0.000_01 for changeset fd1a4b10bf7a