Third integration of type definitions for the decomposition tool

[zhululai]

• [x] Ensure that the commit message is a good commit message
• [x] Ensure to use auto format in all files

---

Short Description

This pull request includes the type definitions needed to create the toy examples of monolithic and microservice applications that can be decomposed by the decomposition tool.

Resolving Issue / Feature

In particular, the following new features have been enabled by the pull request:

1. Specification of web and container applications
2. Support of direct invocations to serverless functions

A few errors were also fixed when the upstream was merged into the fork.