Add smith_seq function
Rename fpmodule to fpmod

Add {fpmod R} notation to trigger CS resolution