Adding type ascriptions for procedures
Updating submodule refs