Fix types of the result variables you start with.

Getting the type of the checked variable wrong is confusing, sync it up
with the proposed assert and solution.
Merge pull request #2 from albertdev/fix-variable-types

Fix types of the result variables you start with