cleanup of witch and adding notes to my future self about why it does not print the type for aliases