renamed VoidValue to VoidType