type checking for boolean expr

Signed-off-by: Tim Henderson <tim.tadh@gmail.com>