[derek] conditionals, booleans, less than, typechecking