added simple function to understand how to get RealFracWork's 'f' to type-check. Added hack function in StreamWork that should be replaced once RealFracWork gets fixed.
fixed (I think) the cheating mapping function of ruler.