Is the spec for `Trace` better served as `boolean()` instead of `atom()`? Technically, the same in Erlang but better for humans.