Disable prenex by default when using fmf bound int, minor improvement to datatypes rewriter