Add unit tests for the `catch/3 and `(\+)/1` built-in methods