Pretty-looking declaration of type 'expr'
A handful of new hometask