updated to support the NameResolver branch for the compiler
updated to support the latest compiler changes
Added the ability for IG to print '->>' if the user asks for types
Added support for the ParentFix branch in the compiler
merged `parentFix` into Redefinition
merged `develop`  into Redefinition
Merge branch 'develop' into Redefinition
updated makefile
new version

updated clafer version to 0.3.4
updated copyrights
Fixed i256
Fixed findNecessaryBitwidth to account for the maximun string number as well
fixed the test case to produce instances
Merge pull request #14 from gsdlab/Redefinition

Redefinition