remove incorrect bullet point on refinement rules
fix #983 package qualifier and type argument inference