Notably: - remove explicit arguments that match the defaults - convert everything to the right Nix types