Brooks-type theorems for choosability with separation