Types are not enforced

[AZHenley]

The types from the function signature are helpful for the LLM to generate code, but we do not enforce them for the function expressions. This should be done after/during parsing (before the LLM call).

signature foo(x: int) -> string
...
foo(foo(5))

This should give an error.