Inline/nested records was recently added to v12. We could investigate what it'd take to allow them inexternal definitions as well, where they would also be quite useful.