pattern binding, rust highlight fixes, typos