Paper accepted at IJCAI’22 (Long Oral): Option Transfer and SMDP Abstraction with Successor Features