Remove unused optional argument from Record.{deffunctions, deftypes}.

Fixes #744.