Fix search file spec
Update missing term class and spec
Include simple factorial file