1.5-1

• bugfixes

1.5-0

• formal test suite
• bugfix
• consistentification

1.4-2

– bugfixes