fix file assignment_expr bug
format error messages
more error message editing
add example typecheck.svel to catch intentional semantic errors