Refactor pool tests

Also actually build + compile types tests <_<