Adding type ascriptions for procedures