finally some tests for dynamic in the typechecker