Scaffolding SIF using DJS.

Also small updates on flashblock. Still stuck on the location annotation problem,
but can use the flag option to ignore arrow subtyping.