So we probably need a recursive type-match function, where we take the declared type and the value type and check if they
do match.
At the moment we don't check recursively and only have exceptions for Nil types but since the List Type wraps another we need to do this recursively
Example
Solution
So we probably need a recursive type-match function, where we take the declared type and the value type and check if they do match. At the moment we don't check recursively and only have exceptions for Nil types but since the List Type wraps another we need to do this recursively