removed resource `ViewSpaceR`
removed module `StarExec.Prims`
refactored some code