do not try to check constraints if given type is still a monomorph
rewrote AKUsing handling (closes #1962)