7. Use complete algorithms to reduce workload🔗

To achieve goal 6, to reduce the verification work through the use of complete algorithms, Laurel has the following features.

1. 7.1. Constrained types
2. 7.2. Type inference
3. 7.3. Inference of composite types