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

Fixes #744.
Merge pull request #752 from alexrp/record-deffunctions-opt-arg

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