fix equality to require identical types

[dsyme]

@ChrisMarinos Here is a fix for #15 if you agree

Basically it checks that the types are correct in the equality before allowing you to run. What do you think?

thanks

[dsyme]

On screen it looks like this:

[dsyme]

Merging along with a couple of other micro fixes

[ChrisMarinos]

I think this makes sense in general. I'm straining my brain to think back to why I wrote it that way in the first place, and I think the reason might have been to purposely be a little vague as a way to force folks to dig in and learn. It also may have had something to do with allowing people to be flexible when it came to things like integer to float comparison. I'll run through the koans with this change in place and double check, though.