Implements progress and trace, fix specs