Define Record.options for each record with the allowed options

Closes #916, #857