Add easier support for mpfr and ntl. Add laplace to concept tests. Fix misc. bugs and warnings, from concept tests.