new version

updated clafer version to 0.3.4