Explore swagger

Mainly typings with a few bug fixes sprinkled in. Also haskell and mips assembler are now supported.

enabled an automatic merge when the pipeline for 3aeeda83 succeeds

merged