Start implementing efficient unsigned multiplication by fractions.

Modify CHOOSE-MULTIPLIER so that it can be used for multiplying
by fractions.
Implement the code generator for multiplication of X by the
constant rational A/Y for the case when A < Y.

TODO: Implement for the general case, add comments and tests.