Cleanup and specs with Rust types#3

franziskuskiefer wants to merge 3 commits into

mainhacspec/specs:mainfrom

franziskus/cleanup-and-morehacspec/specs:franziskus/cleanup-and-moreCopy head branch name to clipboard