1.5-0

• formal test suite
• bugfix
• consistentification

1.4-2

– bugfixes