delete unused 4.0.1 and type-system branches

[James Taylor]

We're got a couple of unused branches that I'd like to delete: 4.0.1
which was never released and type-system which is not in use. Unless I
hear otherwise, I'll plan to delete these branches by the end of the
week.
Thanks,
James