Implementation.tex corrections
Implementation.tex corrections

Signed-off-by: Jan-Jelle Kester <9ab942090e4f84ffd1c184fb2a404bd5919e8f84@jjkester.nl>

viskell/viskell,andrewdavidmackenzie/viskell,wandernauta/viskell