tests for: ambigous moves, string cut and typecheck (for lambda and lists)  added