Add long version of Fair Reactive Programming

Includes the full reduction steps and proofs referenced from pages 8 and 10 of the short version. 'Official' link from authors homepage (http://cs.mcgill.ca/~acave1/)