Better to_s for nilable types
Marked one spec as pending
Fixed Rakefile
Added hash spec for type inference
Merge branch 'master' into ssa