Annotations for lure, small correction of luretype annotation. Still missing uniqueness checks for names in both cases