added Simplifier trait and changed Real accordingly