Fixed TODO on return type of a method. Added TODOs for local variables
Added initialisation of 'registers', i.e. local variables, as a constraint
made complex-constraint(|r) more complicated, because it's a mess anyway. Ready to add some instructions that require access to local variables!
updated some push/pop types, added more TODOs, added the ADDRESS type for jsr