Tackle parts of #501; add suggested type resolution, indicate specific problem explicitly