Fix the free variables of a MouldeInstance
Don't pretty print context if it is too long.