measurable types are not pointed by default any more#1949

affeldt-aist wants to merge 2 commits intomath-comp:mastermath-comp/analysis:masterfrom

affeldt-aist:fixes_796affeldt-aist/analysis:fixes_796Copy head branch name to clipboard