Make record types members public and final

Makes the API easier and avoids the overhead of getter methods.