Make ExtractHaskellType accept type parameters

At the moment `ExtractHaskellType` only lets you give the new datatype a type constructor name with no type parameters. 

It would be nice to add this functionality, similar to `ExtractHaskellFunction`, so that we can do:

```
:ExtractHaskellType <name> <type params>
```