Make Orb sound for vals

[ravimad]

Currently, vals are considered as constant time operations when they are accessed. However, their cost is not included during construction. This is unsound. Fix this by introducing construction functions.