Add fromAList to sptreeTheory

Also proved some lemmas about its relation to toAList