instructions: annotate more types

Signed-off-by: Michael Buesch <m@bues.ch>
Add FIXMEs

Signed-off-by: Michael Buesch <m@bues.ch>
cpu: convert fetch/store to cpdef

Signed-off-by: Michael Buesch <m@bues.ch>