Modify, e.g., gcc to understand capability semantics and teach gcc how to optimize it, e.g., how to batch and combine calls.

This project is deemed suitable for a thesis.