remove useless imports
Add optics for all ADTs