Partial implementation of `invoke`
Add type signatures for `indirectBr` and `resume`
Layout haddock sections for Instructions