Implement a new "int_" function, to convert booleans into integers. This should be used whenever a boolean variable is used in a multiplication, e.g. in the "unless-refractory" variables which multiply the RHS of an equation with "not_refractory". Closes #38