Simple capability leak program is type checking with DJS (no capability checks added yet).
Started annotating module with capability types.