Reverted pretty.dart and moved new functionality to pretty_extras.dart