This commit simplifies the code so that In.borrow and Param.borrow can
only be True or False (not None). It also makes the corresponding code
for these two objects more similar.

There should be no functional change, it just makes the code easier to
understand.