(WIP) A very low-level, 6502-assembly-like language with static typing and abstract interpretation