Split handleGetField to its own module
Infer.Monad: Hold executeRelation rather than rerunRelations