added void to typecheck.g