IsString instances for Expression and UValue
Nicer function signature for getCatalog
Fixed docs