readFn vars [(StrVar "bool")] =
    do line <- getLine
       return $ Map.insert "return" (BoolVar $ read $ capitalized line) vars
readFn vars [(StrVar "bool")] =
    do line <- getLine
       return $ Map.insert "return" (BoolVar $ read $ capitalized line) vars
readFn vars [(StrVar "bool")] =
    do line <- getLine
       return $ Map.insert "return" (BoolVar $ read $ capitalized line) vars