type checking boolean