mu-mmint: Fix refinements for all mavo models (part 1)

 * Refactor refinement code to be model type agnostic
 * Generate model rel tracking the refinement
 * Start introducing null analysis bit by bit
 * Use better apis in test to get root types