Make record types member's public and final

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