fixes #24 (type checking in backend)
Merge pull request #25 from rpanah/fix_type_checking

fixes #24 (type checking in backend)