Eliminated the inferrable sorts
added copyright notes
added copyright notice to main README.md file of imp
Merge pull request #355 from grosu/unified-builtins2

Eliminated the inferrable sorts