[wip] parsing; IsOpt + asserts