Add Optional<T>

[kevinresol]

Optional<{
	i:Int,
	o:{
		s:String
	}
}>

becomes

{
	i:Option<Int>,
	o:Option<{
		s:Option<String>
	}>
}

[kevinresol]

But I am not sure about the naming, seems it is suggesting @:optional