Improvement for syntax for natives (unifies type/sort constructors)