Record types and validate#42

dpi wants to merge 7 commits intomainpreviousnext/pinto:mainfrom

record-types-and-validatepreviousnext/pinto:record-types-and-validateCopy head branch name to clipboard