Improve symbol libraries #11

Closed
AllSpiceAlice wants to merge 3 commits from develop into main