added Opt<T> to the syntax file