Minor additions. Derive Typable class. Generalize 'currentValue'.