Remove dependency on stdlib4
Merge pull request #213 from mhaskel/stdlib4

Remove dependency on stdlib4