Internal: started ArgumentValues analysis

So far it is disconnected from the codebase and yields an ad hoc M.Map
instead of FactBase