Updated changelog
Implemented transcendental/algebraic typeclasses