Add specs for Proc.val