Fix docs to and type spec to fwprogrammer:program/3