Implement Val[T] macro.