Type testing functions

Also fixes typo in literal