Implement Racket-style structs with sealing