borrowck: Add spans to loans for better error reporting
bring back liveness
borrowck: minor edits
borrowck: do not use the root_pat but rather the precise pat
wip: improve error message localizable
std: minor edits so that things pass borrow checker