typecheck: fix bug in children of open records