Prove that atom :false and :true are booleans
Merge pull request #396 from kiela/master

Prove that atom :false and :true are booleans