add prim checkWrapBoolean to type-checker