spec: allow record {} <: record {null} (#462)

spec: allow record {} <: record {null} (#462) #725