Fixes #13
Merge pull request #20 from vjovanov/issue-13

Fixes #13
Added macro for testing error messages.
More tests should be added so feel free to check whatever you want.
Merge pull request #22 from hubertp/topic/test-error-msgs

Added macro for testing error messages.
Cleanup build
Add more tests for errors
Rename VampireMacros to Macros. Minor cleanups.
Putting it under the Scala license as all other projects in the lab.
Merge pull request #23 from gzm0/cleanup-project

Cleanup project
Specialize field access
Add tooling to create specialized records
Merge pull request #26 from vjovanov/license

Putting it under the Scala license as all other projects in the lab.
Update README.md
Merge pull request #27 from gzm0/no-boxing

No boxing
.gitignore for eclipse.
Build cleanup.
Tests for eclipse. They must be done in the IDE.
LUB tests.
Test renames. Adding a missing line at the end of the build.
Update README.md