Don't make spec.cr use too much magic. Keep it simple. Report errors in a nice way similar to rspec
Fixed primitive methods of Reference
Added ENV option to print type ids
Remove unreachable rescues at the end of the type inference
Some improvements here in there