Hook up concept checks. Move test instantiations into instances lib. Fix a few test failures. Add Nikhar's trigamma tests.
jzmaddock