[PV/Noise] Provide PV definitions for core library functions / types

[jschneider-bensch]

• [ ] Alloc__slice__Impl__to_vec
• [ ] Core__ops__deref__Deref__deref
• [ ] Core__ops__index__Index__index
• [ ] Rust_primitives__unsize
• [ ] Core__num__Impl_9__to_le_bytes
• [ ] Alloc__slice__Impl__into_vec
• [ ] Alloc__vec__Impl_1__truncate
• [ ] Alloc__vec__Impl_2__extend_from_slice
• [ ] Alloc__slice__Impl__concat
• [ ] Core__option__Impl__is_some
• [ ] Core__clone__Clone__clone
• [ ] Core__cmp__PartialEq__eq
• [ ] Core__cmp__PartialEq__ne
• [ ] Core__cmp__PartialOrd__lt
• [ ] Core__ops__arith__Add__add
• [ ] Core__ops__arith__Sub__sub
• [ ] Core__option__Option__None
• [ ] Core__option__Option__Some
• [ ] Core__result__Impl__map_err
• [ ] Core__option__Option__Some
• [ ] Core__option__Option__None
• [ ] Core__ops__range__Range
• [ ] Core__option__Option
• [ ] Alloc__vec__Vec