better doc for Representable.hs
add upper bound to base (now <5)