Moved optional for @localtype to a.localtype