Added Kiama-based implementation of the 'freshfor' relation