All Record-Types are extensible