[WIP] Sem: Add first untested version of sem walker